Hmm.  Maybe not:  this style is already heavily used elsewhere in the file.  We can fix this in a later PR if necessary.