One more misprint fix