(same remark here about casting to str)