Fixing out-of-date usage of ELEM_ in the dev documentation