#25: doc updates