a typo is fixed