Fix copy+paste-o, spotted by Simon Marlow