Hilariously, I edited the wrong file — should have edited the latex source! Patch upcoming!