Fix terminal after readline