more aesthetic improvements to IllegalStates.lhs