cm-10.1: prop extraction fixed