Try to hack around lint errors