Final polish concerning #543

I would expect that you shouldn't have to give any arguments to `_` here.