Release 13.07.4
more code fixes