fixed printf formatting