Fix 2 other nits

This commit is contained in:
Thomas Guillemard 2019-05-01 13:34:46 +02:00
commit 8d1742c841
No known key found for this signature in database
GPG key ID: 0CD291558FAFDBC6
2 changed files with 2 additions and 2 deletions