Fix small buglet, version #13