Merge pull request #12 from y-higuchi/RAMCloud-yoshi

bugfix