fix 0dae4d7d393510081c928f6c9dc3d08de7084396

As @nyuszika7h said at IRC.