Update formula fixing the autom4te bug

Closes #20