Yes, but the code follows this style in the other places.