Tiny cleanup, as suggested by David Blaikie.