Teeny-tiny bug fix