fixes #3823
small workflow fix