minor bugfix, fixing build