Fix false-positive deprecation warning (fixes #12)