Minor details for the documentation