Additional notices, typesetting, timings.