This revision should address the issues with the patch for adding
Redsea.

Thanks for pointing these out.

--Evan