I debated that in my head. If you're OK with the shorter form I'm OK with it.