Simplify short-circuit message.