tried to fix a formatting error; we'll see if it works