small fix for manual