Some minor fixes#8

felixrabe wants to merge 3 commits intojchris:masterjchris/sofa:masterfrom

felixrabe:masterCopy head branch name to clipboard