Forgot one symbol for hg.

This is an update to #2138.