Tiny bugfix #3