Fix Verify/Preconditions string format