Very minor fix. See diff if you're curious.