Updated Keel source