A few missed functions in the () -> (void) migration