Fix update to #3