yes, we should stick with the * here, since that is the standard syntax we use