removed double double quotes

This patch removes some obsolete doubled quotes.