Bug fix in deserialization of StateRequestCommand