minor updates

romeokienzler changed pull request status to merged

Sign up or log in to comment