Minor changes to implementation notes.