Small correction to previous commit's printf