Bug correction

8 jobs for master in 3 minutes and 49 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #13636
linux
build:linux

00:01:20

passed #13635
mac_old
build:mac

00:01:40

passed #13634
win32
build:win32

00:01:02

passed #13633
winxp
build:winxp

00:01:09

 
  Dist
passed #13640
linux
dist:linux

00:00:15

passed #13639
mac_old
dist:mac

00:01:37

passed #13638
win32
dist:win32

00:00:14

passed #13637
winxp
dist:winxp

00:00:13