Fix misplaced documentation