Doubling up this way doesn't do what you expect. I've fixed this in 439d12e.