minor: flag the code pertaining to #51 with a comment