Update to current working version

Previous commit was not the correct version, because the updated file
had not been saved.