BST fixes (ceiling)