another small fix for previous commit