A poorly formatted server state transition table