Minor change for CI box.