Fix configuration priorities (see #513)