Debug printout forgotten here?