A small consistency fix
Bugfix