Minor correction in #77.