Minor bug fixes release 10/05/2017

We'll be releasing an update with minor bug fixes today. This will not require any downtime to the servers and should not affect any gameplay either.