cosmetic changes
Bugfix for HOLE replacement