Oops, I forgot to remove debugging code (AGAIN).