fixed bug (CI testing)