Timed out implemented; correction of some bugs.