Yeah, that was stray debugging code. Oops!