Minor docs cleanup

Can we use @see here?