/ban does not kick banned player anymore

The bug

The command /ban does not kick the banned player anymore (/ban-ip still does), which used to be the case in 1.12.2. Only when the player leaves the server they are not able to join it again.