Document edgecase in algorithm description