Oops, this was not dead code.