tiny docs fix