Trying to fix github bug