Micro bugfix.