Bugfix: sleep time in play() was sometimes negative.