Oops, that was some testing code for issue #15.