Remove debugging code that slipped through