Fixed two post-launch issues

Fixed crashing when building gravel mine, and fixed bulls not being
butchered properly.
Fixed double line

Accidentally copied something twice.
Spelling mistake in gravel mine
Merge remote-tracking branch 'origin/v11a-7'