Comment about a (minor) issue I noticed.