2013-12-4 commit some trivial patch