FIX: issue #696 (red console: [";"] triggers multiline input => unmatched closing ])