eliminating double // which confuses Augeas