remove debugging artifact (pointed out by @overv)