Fixed silly github issues