diff --git a/specs/core/0_beacon-chain.md b/specs/core/0_beacon-chain.md
index 52d087281..f171bd4df 100644
--- a/specs/core/0_beacon-chain.md
+++ b/specs/core/0_beacon-chain.md
@@ -645,7 +645,7 @@ def is_slashable_validator(validator: Validator, epoch: Epoch) -> bool:
     """
     Check if ``validator`` is slashable.
     """
-    return validator.slashed is False and (validator.activation_epoch <= epoch < validator.withdrawable_epoch)
+    return (not validator.slashed) and (validator.activation_epoch <= epoch < validator.withdrawable_epoch)
 ```
 
 ### `get_active_validator_indices`
diff --git a/specs/core/1_custody-game.md b/specs/core/1_custody-game.md
index 99c85a034..24e9a19e2 100644
--- a/specs/core/1_custody-game.md
+++ b/specs/core/1_custody-game.md
@@ -402,12 +402,11 @@ def process_early_derived_secret_reveal(state: BeaconState,
     """
 
     revealed_validator = state.validators[reveal.revealed_index]
-    masker = state.validators[reveal.masker_index]
     derived_secret_location = reveal.epoch % EARLY_DERIVED_SECRET_PENALTY_MAX_FUTURE_EPOCHS
 
     assert reveal.epoch >= get_current_epoch(state) + RANDAO_PENALTY_EPOCHS
     assert reveal.epoch < get_current_epoch(state) + EARLY_DERIVED_SECRET_PENALTY_MAX_FUTURE_EPOCHS
-    assert revealed_validator.slashed is False
+    assert not revealed_validator.slashed
     assert reveal.revealed_index not in state.exposed_derived_secrets[derived_secret_location]
 
     # Verify signature correctness