removing some useless provisos