Changed printf formatting