Finishing touches to the documentation