mini documentation fix