Forgotten debug code in last commit...