Making the interactive main() nicer