notify about Misc change
handle ProofId elements in composition (fixes a crash)