fix to #3