Cosmetic changes (e.g. got rid of Prelude hiding)