More illustrative monitorexit error message.