add missing specification and correct the wrong function name