Minor bugfix after testing