fix for issue #825

see https://github.com/wp-cli/wp-cli/issues/825