fix bug #171: format