Removing spurious line from commit 070c2a6eb688547b3bdc4dd2c6feb78c5f34be2a