"is" extra word

Just a short doc fix.