fix linespec bug noticed by the checker