Some small touches to the documentation