Minor: small tweaks to booltree