Another minor bug fix in store buffer