Very minor edge-case tweak