Quick fix for a broken SHA export