add missing void spec