bugfix: missing labels in output; +bsi does not inhibit other checks; +quick