put HeckeCharacters module in right place