Syntax revised.