Fix printf %s warning for non-0 default AS.