fix breakage in FF reported by @ischneider