Remove mysterious global variable reported in issue #5