Minor cleanup of a few API docs