some debugging changes were wrongly commited