previously mentioned bug is fixed