Yeah a follow-up fix is fine.  I'll add it to the style doc.