Fixes #4641: correct agent schedule computation (used splay rather than ...

...interval)