Minor change to get CI to build