small fix to make things work