Remove now outdated debugging.