tiny helper

.