fix bug introduced with db9f6d3a829fb713cd8b36d038c55f7330d2f359