Fixed some minor typos and formatting issues

you are precisely using one of the broken cases here...