diff --git a/tlatools/src/util/FilenameToStream.java b/tlatools/src/util/FilenameToStream.java
index 9010800e25a153c3f99d4881bacdc8704c4f0c19..87dec15b19795182ce142de425b73aaea3966467 100644
--- a/tlatools/src/util/FilenameToStream.java
+++ b/tlatools/src/util/FilenameToStream.java
@@ -27,8 +27,11 @@ public interface FilenameToStream
 	 */
 	@SuppressWarnings("serial")
 	public static class TLAFile extends File {
+		// The following regex is concerned with determining whether the provided 'parent' string to our
+		//	parent/child constructor looks like the start of a legal absolute file path potentially including
+		//	a drive letter.
 		private static final String ROOT_PATH_REGEX
-								= "^([A-Z]+:)?" + ((File.separatorChar == '\\') ? "\\\\" : File.separator);
+								= "^([a-zA-Z]+:)?" + ((File.separatorChar == '\\') ? "\\\\" : File.separator);
 		private static final Pattern ROOT_PATH_PATTERN = Pattern.compile(ROOT_PATH_REGEX);