Some small updates to check if Circle CI works