documentation only
oops, a pretty bug that went unnoticed
bugfix -- that was fortunately easy :)