Fix documentation of flycheck group