Small documentation fix