Adding some superfluous debugging