On updating suffix tree labels