Remarks on Heegaard splitting theory