small fix related to #36