Update omega-annotated.js