Minor cosmetic changes to the input example