JavaScript Annotation postscriptum