Minor fix in AppSphinx