cosmetics: code reformatting