Trivial change after enabling CI.