tiny fixes...