fixes #1888: updated Alert phpdoc