Fix compilation error introduced by merging #232 and #243 together.