minor changes (not important from the last commit)