True. I don't know if we have a style preference for that, but I was trying to remain consistent in this file using that notation.