Minor. Fixes bad doc