oops, forgot to commit pdf version too