SyntasticInfo: minor bug fix.