Removed bugin bsv_syntax