Add some missing documentation