Fix tiny documentation bug