minor renamings
profile case distinctions (issue #101)