Minor doc improvement