removed some forgotten debugging helpers