use printf to make output nicer