Oops, forgot to remove some debugging stuff.