Updated annotated source