Documentation

Minor fix