Bugfix: 10 instead of 10000 as addition to timeout function