changed name of greasemonkey script and fixed bug in record reader exit condition