updated API usage in favor of mojo v4.13