oops, fix typo in last commit (90ce44c0)