it now correctly complains