See above for preferred form of this comment