Checking in minor bug fix