a little fix to add to #36