Fixing per Chuck's suggestion. This should've made it into the previous ...

...commit, but I forgot to push, and have already merged. Ah well.