Build fix
Merge pull request #789 from priand/playground

Build fix