minor bigfix in fixxbuzz.cpp