In Gemfile, use shorthand github reference
Update/fix formalize