triple-quotes to triple-double-quotes