Minor doc fixes for topsort