Style fix: put a space after the (int) cast.