Fixing a mistake in a concrete wall