mention RCOS, cleanup more formatting