bug fix for greasemonkey