Make @Minecrell happy