minor formatting correction