fixes rs/pushd#31