Release 0.11.4 - two small bug fixes