Fix #493