modified the specifications oof peek_finish and poke_finish.