BugFix: explicitely enable postfix operator (fixes Eclipse warning)