I've also encountered this bug. The point is that there is no reason to indent that block to 16, not 12!
I've also encountered this bug. The point is that there is no reason to indent that block to 16, not 12!