Queen Victoria Markets - repairs to the verandah