Some minor improvments on documentation