Commented out debug printing, sorry.