Fixed a build error in the "index.apt" file.