Addendum to last commit for #72