Fix bugs in example flycheck configuration code