indeed a bug!