tiny fix for doc