Add a benchmark; Fix #12