Add comment to look into bug reported by Stephen