Fix brevity.rkt