minor addendum to b9cb8f297ec3