fixed erroneous commit to Demetri branch