Bringing Dev up to date

I clumsily changed Prod instead of Dev, so this is my attempt at
correcting by build process. After this, I will make a fresh copy of
Prod from Dev. ALWAYS MAKE CHANGES EXCLUSIVELY IN DEV!