Fixed a bug in emptying a hole

Introduced yesterday when saving dimensions for scales.
Updated compiled version