Fix getter for void