Docker made 5.2 unhappy