Minor tweaks. git-svn-id: svn://localhost@761 8062f311-0dae-4547-b526-b8ab9ac864a5
git-svn-id: svn://localhost@715 8062f311-0dae-4547-b526-b8ab9ac864a5