Some cleanup for 3satToHC.js