macro typo: brackets are (-1)-truncation, not 0-truncation