Updated small stuff in the 'paper'.