fix for #2267

#2267