Misc minor suggestions

#1
by osanseviero - opened
No description provided.
BenjaminB changed pull request status to merged

Sign up or log in to comment