Bug fix: removed obsolete keyword