removed unnecessary bits of spec