Making the documentation nicer