Correct some typedef documentation