Corrected cabalfile