fixed typos noticed by gcc