Documentation annotation, reformat