Minor misprint fix