It's used in #117. Before merge we will go on a warning-fixing run.