Documentation, small fix