very minor precisifications