Some Minor Fixes of Stayman Rebid