should this string be double quoted instead of single?

Line 135 in 990eba3

printf 'Using '%s' (to become %s)\n' "$cmd_su" "$user"

It seems to me like the intent here was to have the single quotes around %s be part of the output, rather than breaking up the quoting of the whole format. Is the intent here to actually have the behaviour that would actually result from doing this?
"Using '%s' (to become %s)\n"