some bug fixes in sdsl