Improve documentation of the new IncoherentInstances behaviour