Small change to simplify access to the data wrapped in a RaftState