A very minor punctation tweak.