small fix to make previous commit work as advertised.