Thank you! It was indeed an incomplete copy/paste from my last "Who's Hiring?" post. I edited the original comment to fix it.