Implements enhancement #73.