Fix two doc comments