automated commit for GitHub on ds oct 25 18:50:13 CEST 2014