mouse wheel in firefox; fixes #46
dead code #37