both of these should use `settings.getint()`