They certainly should be, for semantic clarity. The functionality is actually the same either way.