stricter rebar; bugfixes; docs