Fix Issue #7283: Padding with line numbers turned off is broken

Fix Issue #7283: Padding with line numbers turned off is broken.