fix comment (by @ninniuz)