Fix error #258