aldor: fix the sha256 hash (plus minor cosmetic changes)