In that case, it might make sense to leave this as is for now. At least that would be consistent :-)