Minor bug fix
W3C Document `all' bug fix (for personalities different from IE)