Add missing space after cast.

It seems I need to read up on my Java standards!