Minor: cleaning