Final commit and push. Seems to work.