Small fixes to Frtime writeup.