Add missing ".times"