misprint in comment