automated commit for GitHub on ds oct  4 14:19:06 CEST 2014