Tiny tweak, barely worth a commit