version 2014-07-07 (minor fixes)