Tiny mistakes fixed