I'm not sure why this was excluded---it seemed to be passing for me. But
it's easy enough to fixup.