minor bugfix: missing use statement