tweaked comment header in benoitpy.cpp