One more fix in crt.fs