Minor tweak for #129