Github bugfix