Correct a misprint #138