Small fix.

Thanks @ediosyncratic for spotting it.