A bug fixed for getter methods because these were 'void'