Removing some now useless debugging code