Adding the entry left out in commit 12826.