fix for previous commit, formatting was fixed to pass on CI