Fix HashMap undefined due to missing import

Closes #1280