Small bug fix. Now forward checking is actually used