Committing minor changes

In order to push all latest changes to the github repo