and another short fix