This dead code was removed.