alter regex: bug also affects firefox 20