Some modifications, trying flycheck mode