Fixing warnings (so as to reduce build noise)

Fixes #1.