#373: misprint