provision/docker: Silly mistake with number operators