raskell release note tweak