I decided not to (though I did change the message slightly so that it would cover both cases)