minor things preparing for 2014b
Merge branch 'master' of https://github.com/newfolder/PRT
minor things preparing for 2014b