Dialyzer tweaks for the new usage of the AppCtx