Fix ignored result of String.replaceAll()

String.replaceAll() is pointless if the result is ignored...