minor polishing, as suggested by @pwendell