Fixing build after pull request #267 broke it