small typo fix on l. 219