tweaks to label compilation, rev simulation proved