Restored a line of code that was accidentally (bad cut-and-paste) removed in commit 443f30dc2d8d8f8e17d58e6176aa9511a48b69be.