...and one more small fix