typo fix; manual verification