hack to fix a naming problem

Caused by the names package!