Removed a misprint