Minor style change for docs.