Extra indentation fix under VEX Syntax entry.