cosmetics: uneeded changes