String-manipulation utilities