Minor github fix.