Add missing documentation, other fixes