I'm not sure this is intended or left-over from some debugging session.