fix substitution inheritance