Fix up late-night spec which was incorrectly referencing the lazy lets