Cleaning up the prelude extraction.