Generally improve the documentation