minor fix related to a bug reported by warninggp@gmail.com