fixed #607: console was redefined