a tiny bugfix