This is not semantically equivalent. Although it won't typically make a difference, it could.