modify post: chanced upon on IDEA bug