Updated docs and safety check in transition ctor