Added some brief comments to avoid confusion for someone used to
different notation.