minor fixes (semi-colons)