quick fix for salaboy - remember: never use JSNI!