small syntactic fix to dummy application