fix 1238. Fix error introduced at commit 9405d17