JtR coding-style fixes.