Correctly display prompt numbers that are 'None'

Fixes #6702
That sounds reasonable.