Removed things not necessary to reproduce