Replaced tabs by whitespaces; several smaller changes.