fix bug; typescript getter spec