Fix #3; Fix #5;