Debug code ended up being unneeded anyway.