Those are the Debian settings!