Small tweaks
minor
Merge pull request #1089 from EPuncker/master

Small tweaks