Fix misprint in comment