Correct some annotations