Fix #5: 4ec455346d29a2870d8b4e97b11dfa6e0eb20712