Minor style change to the docs