Fix forgotten doc comments