some updates to prettify IllegalStates.lhs