Oops, fix a typo in previous commit (#244)