more dot to slash conversions #3583