Small fix to correct last nights failed CI test