Fill in some documentation