fixed bug in -> case of safetyCheck
format