Fix missing ".times"