Minor tweak related to #73