added ctrl c termination