kraken: remove ")"