FIXED: broken test in stderred formula