See above comment. There is no dead code.