[Minor] Small fix on laconic