It's never used, so let's make it void to avoid any confusion. It was also an unintentional change from void to int in 4b892724