Fix error message and a #4^ in place of 4^