Looks like that is correct! I'll update it accordingly.