Updated specs doc