Fix error introduced with #24