Does this seem okay?  Should we add this rule to the coding conventions?