Fixes @michel94's code style.