Another small change to check if CI is working