minor formatting change; no version increment