diff --git a/repos/os/run/timeout.run b/repos/os/run/timeout.run
index 984e7cb755..ebdbed7810 100644
--- a/repos/os/run/timeout.run
+++ b/repos/os/run/timeout.run
@@ -42,13 +42,12 @@ proc precise_time { } {
 proc precise_ref_time { } {
 
 	#
-	# On platforms that use the PIT timer driver, 'elapsed_ms' is pretty
-	# inprecise/unsteady (up to 3 ms deviation) for a reason that is not
-	# clearly determined yet. On Fiasco and Fiasco.OC, that use kernel timing,
-	# it is the same. So, on these platforms, our locally interpolated time
-	# seems to be fine but the reference time is bad.
+	# On Fiasco and Fiasco.OC, that use kernel timing, 'elapsed_ms' is
+	# pretty inprecise/unsteady (up to 3 ms deviation) for a reason that
+	# is not clearly determined yet. So, on these platforms, our locally
+	# interpolated time seems to be fine but the reference time is bad.
 	#
-	if {[have_spec sel4] || [have_spec pistachio] || [have_spec okl4] || [have_spec foc] || [have_spec fiasco]} { return false }
+	if {[have_spec foc] || [have_spec fiasco]} { return false }
 	return true
 }
 
@@ -84,7 +83,7 @@ append config {
 			<binary name="test-timeout"/>
 			<resource name="RAM" quantum="250M"/>
 			<config precise_time="} [precise_time] {"
-			        precise_ref_time="} [precise_ref_time] {"/>
+			        precise_ref_time="} [precise_ref_time] {"
 			        precise_timeouts="} [precise_timeouts] {"/>
 		</start>
 	</config>