invokeRestart is a mouthful
Nicer formatting for showRestarts() output
Consistify the pattern a bit