Fix double dependencies

With some bad luck, the user might have already defined a dependency
between these two items *manually*.