Audit fix: use Formula[]

This should fix the failing Travis build.