Ah OK, so long as they are equivalent. It just seems like there is some inconsistency in which is used in this file.