okay, thanks. actually allowed me to make the code simpler than if it
could be not set...