Fixes #2060: Removed dead code