Correctly display prompt numbers that are 'None'

Fixes #6702
Done.