Fix errors reported by flycheck