Update documentation to revision 9c5a52a