Removing this debugging code