Oops, some stray debugging code!