checkdoc warnings removed for flycheck