Trivial change to kick off CI again as all tests seem fine