small fix suggested by pruzand