Miniscule changes

Even smaller than the minor changes!