Whoops; I committed debug prints again. Removing...