* fix for bug 20512 ( in both trunk and js2-work branch )