Syntax fix for documentation