sbo_updates.pl: output cosmetics.