issue #1059: Bug in js module console