gjslint doesn't like this final dot