Fix reverse() call in FF. #92.