minor cleanup after last commit