automated commit for GitHub on dt oct 14 22:50:21 CEST 2014