play update to 2.3.7, fixes #3