Add a hack to make tidy happy.