Fix little bug in aho.hpp and compressed_aho.hpp