Fixes #54: soft/hard time limits