tiny simplification

.extend() is a little shorter than a loop.