Be more precise about version precedence