Fix minor inconsistences introduced in previous commit on hash namespace.