Minor changes to the specs