Proper marking of an error case