Do I have to retype the exact error message in the //~ERROR directive ?