Fix little bug in aho.hpp