A trivial fix for yesterday's doc command changes.