diss: minor stuff in jstp
diss: intro for isipta11 and mionr stuff