Tiny bugfix?