Is the broken sharpener fixed yet?