Error in name of constant

This makes the module not compile