Remove forgotten debugging code