Removed spurious right square-bracket from Izumi text.