made sure that the collection returned by a getter is unmodifiable