Sorry, forgot these debug prints. Removed!