Minor neat tweak