some very small changes. mainly for Roel
issueID #7