No error tips in some schlimm editors such as eclipse, sublime etc. close #740