just some minor changes to get used to the github interface