[FIX CI] minor fix