bug fix in reservation manager