Use double quotes instead, for consistency with the rest of this file.