fixing some formatting, terminate does not yet work