Fix warning. Fixes #11.