tiny cleanup in ctx.define