correction to syntax of how to