Fixed in 1976 by ML, followed up by Eiffel in 2005, but unfortunately yet to be made common.