minor fixes or additions