application: fix last commit

Hit push too early.