try to make GitHub happy