Fix a bug in anytime usage