Very small fix documentation