A better solution to #19