Minor corrections to graph colouring algorithm (recolouring phase error)