Wrong hole compilation

From:
Date: February 26, 2020