Corrected typo in #55.