Fix a teeny-weeny bug