minor fix for ci