The koi was just a baby at the time. He is considerably bigger now.