Corrigendum: The Generalized Serial Test and the Binary Expansion of √2