fix short SHAs (fixes #2)