fix pull #5