Fix #312.