Refine the code as some suggestion of flycheck.