yet another small fix