fix name clash introduced with #859