Semantic bug fixed