Add documentation to MicroMachine#InvalidEvent.