fix annotated.js