Minor, minor cosmentic tweak.