Should this dead code be removed?