addendum to ae9c92e683cb85d1c460d9de78098fff0f7adf82 (semi-related)