Minor style fix for the documentation