Small fix for Greasemonkey