added some small changes and an init file for flycheck