Fixing wrong file revision push for #32