minor bugfix (thanks @firejuggler)