ok, this should be left to ``auto``, but I cannot remember why.