now with printf formatting