Update Semantic to 0.5.1