remove some Tristan indents, remove redundant public modifier from interface methods