A few extensions Sep2014