completed annotations in Diagnostics