Remove a bit of unneeded code. Fixes #1885.