Remove left-over debugging code