diff --git a/src/insets/InsetSeparator.cpp b/src/insets/InsetSeparator.cpp
index a759f1f395..27aeb7c62b 100644
--- a/src/insets/InsetSeparator.cpp
+++ b/src/insets/InsetSeparator.cpp
@@ -210,7 +210,7 @@ void InsetSeparator::draw(PainterInfo & pi, int x, int y) const
 		pi.pain.lines(xp, yp, 2, ColorName());
 
 		if (params_.kind == InsetSeparatorParams::PARBREAK) {
-			yp[0] += 0.25 * asc * 0.75;
+			yp[0] += int(0.25 * asc * 0.75);
 			yp[1] = yp[0];
 			pi.pain.lines(xp, yp, 2, ColorName());
 		}