Changed the BIGMSGS semantics.