#9: doc updates