workaround for the mysteriously nonmatching hash.