re-fixed an old bug