Tiny fixes before Github resolves issues