see #1137  (fixed)