*top++-bug was not a compiler bug, therefore the comment about the affected compiler was misleading and has been removed