Fix edoc generation for uffda_service_fsm