correct NaBL wrt type signature