Test bot

This PR includes an unrelated formula that triggered the bug this is meant to fix; I'll remove it when I merge.