Sorry, I don't understand how to file a bug properly. Nontheless I want to report this one because it is still in the code after so many years. This bug still exists: https://stackoverflow.com/questions/15871702/difficulties-with-agrep-fixed-f [[alternative HTML version deleted]]