Small bugfix in the Width of AvailableAt