little fix for a previous commit