Martens' PLL with error works but has quirks