According to the C standard, it is desirable to give the type 'void' to functions have no argument. Closes #1631