cosmetics: indentation after previous patch