You wouldn't have needed to update those. Tilde is absolutely fine.