Correct some function annotations