trying to get CI to succeed