Fix a couple of minor API doc errors