Code style: the original formatting was correct