Fix #12 and #13.