Documentation: State Machines now properly filled out.