it’s DRY: otherwise I would have to repeat the default argument here and then we’d forget to change that