minor mods to Mike's improved exposition of van Kampen