Remove invalid code.

Fixes #4002