[#870017] Forgot to add a file.