Some minor changes concerning flymake..