Now I know, this was a debugging bit leftover.