small change that got left out of previous commit