Make IDEA happy