Forgot to comment out debugging code in last commit (b1d59e2)