FIX remove reference to no_simple_ctr (nowhere else)