Fix for commit 0bddebe79a - forgot to add a file.