code style: restore original formatting