Fix build failure introduced by 3ee6f28

Fixes #270