Update specs to reflect the latest code