Opera is also vulnerable to the getElementById-returning-name issue, fixed it there...