Remove debugging lines accidentally left in the last commit.