I thought exactly the same. Maybe it is missing because this notation is still in use.