Some changes to the core specification