typofixes to previous commits; fix #13