Fix #1254