added (minor) documentation