This was reported by Michael. We should use some tool to check the topology and give a reasonable warning about it.