Fix missing documentation #4