Minor technical corrections.