Fixes for graph colouring