How to shrink a pork pie hat