Make NCrunch happy