Add missing bits of documentation