.extra: remove a few stray spaces