Minor RDoc correction