Fix error

Per JohnFLewis' comment on commit 8af92de6aba6ed8c68aed1eb70ef13d89b02a8be