fix some weird code formatting