force dots in printf