typo in precontition_type