other small typos (spaces instead of tabs)